大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ^2009 的图书(共2371本)

Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

0
索取号：
作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Middleware 2009 [electronic resource] : ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 鈥ĥcember 4, 2009. Proceedings

0
索取号：
作者：Bacon、 Jean M.、Cooper、 Brian F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Optical SuperComputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings

0
索取号：
作者：Dolev、 Shlomi.、Oltean、 Mihai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

AI 2009: Advances in Artificial Intelligence [electronic resource] : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings

0
索取号：
作者：Nicholson、 Ann.、Li、 Xiaodong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

GeoSpatial Semantics [electronic resource] : Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings

0
索取号：
作者：Janowicz、 Krzysztof.、Raubal、 Martin.、Levashkin、 Sergei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Cryptology and Network Security [electronic resource] : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings

0
索取号：
作者：Garay、 Juan A.、Miyaji、 Atsuko.、Otsuka、 Akira.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Artificial Life: Borrowing from Biology [electronic resource] : 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings

0
索取号：
作者：Korb、 Kevin.、Randall、 Marcus.、Hendtlass、 Tim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Performance Evaluation and Benchmarking [electronic resource] : First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

0
索取号：
作者：Nambiar、 Raghunath.、Poess、 Meikel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Network Control and Optimization [electronic resource] : Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

0
索取号：
作者：N煤帽ez-Queija、 Rudesindo.、Resing、 Jacques.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Information Technology [electronic resource] : Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

0
索取号：
作者：Papasratorn、 Borworn.、Chutimaskul、 Wichian.、Porkaew、 Kriengkrai.、Vanijja、 Vajirasak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Service-Oriented Computing [electronic resource] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

0
索取号：
作者：Baresi、 Luciano.、Chi、 Chi-Hung.、Suzuki、 Jun.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

0
索取号：
作者：Breitman、 Karin.、Cavalcanti、 Ana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Cryptology-ASIACRYPT 2009 [electronic resource] : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

0
索取号：
作者：Matsui、 Mitsuru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Motion in Games [electronic resource] : Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedings

0
索取号：
作者：Egges、 Arjan.、Geraerts、 Roland.、Overmars、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Visual Computing [electronic resource] : 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Kuno、 Yoshinori.、Wang、 Junxian.、Wang、 Jun-Xuan.、Wang、 Junxian.、Pajarola、 Renato.、Lindstrom、 Peter.、Hinkenjann、 Andr茅.、Encarna莽茫o、 Miguel L.、Silva、 Cl谩udio T.、Coming、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

HCI and Usability for e-Inclusion [electronic resource] : 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009 Proceedings

0
索取号：
作者：Holzinger、 Andreas.、Miesenberger、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.